Meta-Level Control for Deductive Database Systems
نویسنده
چکیده
Will reading habit influence your life? Many say yes. Reading meta level control for deductive database systems is a good habit; you can develop this habit to be such interesting way. Yeah, reading habit will not only make you have any favourite activity. It will be one of guidance of your life. When reading has become a habit, you will not make it as disturbing activities or as boring activity. You can gain many benefits and importances of reading.
منابع مشابه
In Proceedings of the International Conference on Logic Programming , 1999
Existing explanation systems for deductive databases show forests of proof trees. Although proof trees are often useful, they are only one possible interesting representation. We argue that an explanation system for deductive databases must be able to generate explanations at several levels of abstraction. One possible and well known technique to achieve this exibility is to instrument meta-int...
متن کاملDatabase Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption
After two decades of experience with relational databases and almost one decade with deductive databases a substantial amount of knowledge for eecient query processing methods and query optimizer technology is broadly available. So far, however, these research and development eeorts have not paid too much attention to optimizations based on semantic or heuristic information as it is often deman...
متن کاملA Set-oriented Meta-interpreter Driven by a \re- Lational" Trace for Deductive Databases Debug- Ging 1
The development of deductive databases requires tools, in particular for de-bugging. Deductive databases manage large quantity of data and, in general, in a set-oriented way. The existing systems of explanation for deductive databases do not take these constraints into account. We propose a tracing technique which consists of integrating a "relational" trace and an instrumented meta-interpreter...
متن کاملMyrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging
Deductive databases manage large quantities of data and, in general, in a set-oriented way. The existing systems of explanation for deductive databases do not take these constraints into account. We propose a tracing technique which consists of integrating a "relational" trace and an instrumented meta-interpreter using substitution sets. The relational trace e ciently gives precise information ...
متن کاملFixpoint Iteration with Subsumption in Deductive Databases
Declarative languages for deductive and object-oriented databases require some high-level mechanism for specifying semantic control knowledge. This paper proposes user-supplied subsumption information as a paradigm to specify desired, prefered or useful deductions at the meta level. For this purpose we augment logic programming by subsumption relations and succeed to extend the classical theore...
متن کامل